翻訳と辞書 Words near each other ・ Reduct ・ Reductase ・ Reductase kinase ・ Reductio ・ Reductio ad absurdum ・ Reductio ad Hitlerum ・ Reduction ・ Reduction (complexity) ・ Reduction (cooking) ・ Reduction (mathematics) ・ Reduction (military) ・ Reduction (music) ・ Reduction (orthopedic surgery) ・ Reduction (recursion theory) ・ Reduction (Sweden) ・ Reduction criterion ・ Reduction drive ・ Reduction fishery ・ Reduction formula ・ Reduction in rank ・ Reduction of capital ・ Reduction of Hours of Work (Glass-Bottle Works) Convention, 1935 (shelved) ・ Reduction of Hours of Work (Public Works) Convention, 1936 ・ Reduction of Hours of Work (Textiles) Convention, 1937 ・ Reduction of military conscription in Cyprus ・ Reduction of nitro compounds ・ Reduction of order ・ Reduction of summands ・ Reduction of the French fortresses in 1815 ・ Reduction of the structure group Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Reduction criterion ： ウィキペディア英語版 Reduction criterion In quantum information theory, the reduction criterion is a necessary condition a mixed state must satisfy in order for it to be separable. In other words, the reduction criterion is a ''separability criterion''. It was first proved in 〔 and independently formulated in.〔 Violation of the reduction criterion is closely related to the distillability of the state in question.〔 ==Details== Let ''H''1 and ''H''2 be Hilbert spaces of finite dimensions ''n'' and ''m'' respectively. ''L''(''Hi'') will denote the space of linear operators acting on ''Hi''. Consider a bipartite quantum system whose state space is the tensor product :$H\; =\; H\_1\; \backslash otimes\; H\_2.$ An (un-normalized) mixed state ''ρ'' is a positive linear operator (density matrix) acting on ''H''. A linear map Φ: ''L''(''H''2) → ''L''(''H''1) is said to be positive if it preserves the cone of positive elements, i.e. ''A'' is positive implied ''Φ''(''A'') is also. From the one-to-one correspondence between positive maps and entanglement witnesses, we have that a state ''ρ'' is entangled if and only if there exists a positive map ''Φ'' such that :$(I\; \backslash otimes\; \backslash Phi)(\backslash rho)$ is not positive. Therefore, if ''ρ'' is separable, then for all positive map Φ, :$(I\; \backslash otimes\; \backslash Phi)(\backslash rho)\; \backslash geq\; 0.$ Thus every positive, but not completely positive, map Φ gives rise to a necessary condition for separability in this way. The reduction criterion is a particular example of this. Suppose ''H''1 = ''H''2. Define the positive map Φ: ''L''(''H''2) → ''L''(''H''1) by :$\backslash Phi(A)\; =\; \backslash operatornameA\; -\; A.$ It is known that Φ is positive but not completely positive. So a mixed state ''ρ'' being separable implies :$(I\; \backslash otimes\; \backslash Phi)\; (\backslash rho)\; \backslash geq\; 0.$ Direct calculation shows that the above expression is the same as :$I\; \backslash otimes\; \backslash rho\_1\; -\; \backslash rho\; \backslash geq\; 0$ where ''ρ''1 is the partial trace of ''ρ'' with respect to the second system. The dual relation :$\backslash rho\_2\; \backslash otimes\; I\; -\; \backslash rho\; \backslash geq\; 0$ is obtained in the analogous fashion. The reduction criterion consists of the above two inequalities. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Reduction criterion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.